-
1 теорема об осуществимости
Большой англо-русский и русско-английский словарь > теорема об осуществимости
-
2 теорема об осуществимости
Mathematics: feasibility theoremУниверсальный русско-английский словарь > теорема об осуществимости
-
3 теорема об осуществимости
feasibility theorem мат.Русско-английский научно-технический словарь Масловского > теорема об осуществимости
-
4 теорема об осуществимости
Russian-English Dictionary "Microeconomics" > теорема об осуществимости
-
5 теорема
от греч. theōrēma, theōreō рассматриваю, обдумываю(Утверждение, в истинности которого убеждаются при помощи доказательства; при доказательстве опираются либо на аксиомы, либо на ранее доказанные утверждения; теоретическое утверждение, которое может быть логически доказано на основании аксиом или ранее доказанных теорем.)- теорема Болдрина-Монтуччио - теорема Гиббарда-Сатертвейта - теорема Коуза - теорема Куна-Такера - теорема магистрали - теорема Майерсона-Сатертвейта - теорема Мэя - народная теорема - теорема незамещаемости - теорема о - теорема о минимаксе - теорема о неподвижной точке - теорема об индексе - теорема об обратной функции - теорема об огибающей - теорема об осуществимости - теорема об уточнениях - теорема ожидаемой полезности - теорема Рыбчинского - теорема Столпера-Самуэльсона - теорема Фробениуса - теорема Хекшера-Олина - теорема Цермело - теорема эквивалентности ядра - теорема Эрроу о невозможности -
6 feasibility theorem
Большой англо-русский и русско-английский словарь > feasibility theorem
-
7 feasibility theorem
Математика: теорема об осуществимости -
8 feasibility theorem
См. также в других словарях:
Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание … Википедия
Конструктивизм (математика) — Конструктивная математика абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание 1 Абстракции конструктивной математики 2 Основные объекты рассмотрения … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… … Математическая энциклопедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… … Большая советская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
АЛГОРИТМОВ СОЧЕТАНИЯ — название, установившееся за рядом конкретных способов конструирования новых алгоритмов из нескольких заданных. В применении к нормальным алгорифмам наибольшую известность получили следующие А. с.: нормальная композиция двух нормальных алгорифмов … Математическая энциклопедия
